More from this Author
Found 4 books by Holger Hermanns (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Holger Hermanns (Editor), Jens Palsberg (Editor)
Process Algebra and Probabilistic Methods
by Holger Hermanns (Editor), Roberto Segala (Editor)
Computer Aided Verification
by Werner Damm (Editor), Holger Hermanns (Editor)
Measurement, Modelling and Evaluation of Computing Systems
by Holger Hermanns (Editor)